Bob is green. Bob is round. Dave is quiet. Dave is smart. Fiona is cold. Fiona is quiet. Fiona is smart. Harry is cold. Harry is green. Harry is quiet. All cold, green things are smart. All young, smart things are cold.
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All cold, green things are smart.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
All young, smart things are cold.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Harry is smart.
True
3
proof
[(((triple8 triple9) -> rule1))]
("Harry" "is" "smart" "+")
((triple8 triple9) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("Harry" "is" "smart" "-")
((triple8 triple9) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is smart.
Unknown
rconc
[@2: Bob is smart.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "smart" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)] @1: Harry is smart.[(((triple8 triple9) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
((triple8 triple9) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1