Bob is big. Bob is cold. Bob is quiet. Bob is smart. Erin is big. Erin is not cold. Erin is round. Erin is not smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Harry is big. Harry is not blue. Harry is rough. All blue, rough things are cold. If something is cold then it is smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is rough.
("Harry" "is" "rough" "+")
All blue, rough things are cold.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Erin is not cold.
True
1
proof
[(triple6)]
("Erin" "is" "cold" "-")
triple6
Erin is not big.
False
1
inv-proof
[(triple5)]
("Erin" "is" "big" "-")
triple5
Fiona is smart.
True
2
proof
[(((triple11) -> rule2))]
("Fiona" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple11) -> rule2))]
("Fiona" "is" "smart" "-")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is smart.
Unknown
rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "smart" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule2))] Erin is big.[(triple5)] Erin is not cold.[(triple6)] Erin is not smart.[(triple8)] Erin is round.[(triple7)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is quiet.[(triple12)] Harry is big.[(triple13)] Harry is not blue.[(triple14)] Harry is rough.[(triple15)] @1: Fiona is smart.[(((triple11) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple2) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is not cold.
("Erin" "is" "cold" "-")
triple6
Erin is not smart.
("Erin" "is" "smart" "-")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1