Bob is cold. Bob is kind. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Harry is young. Kind things are big. If Fiona is smart and Fiona is green then Fiona is white. All smart, green things are kind. If something is kind and green then it is young. If something is young then it is green. If Bob is young then Bob is cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If Fiona is smart and Fiona is green then Fiona is white.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "white" "+"))
All smart, green things are kind.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is kind and green then it is young.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is young then it is green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If Bob is young then Bob is cold.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "cold" "+"))
Fiona is kind.
True
1
proof
[(triple6)]
("Fiona" "is" "kind" "+")
triple6
Fiona is not kind.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "kind" "-")
triple6
Bob is big.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "big" "-")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Fiona is big.[(triple3 OR ((triple6) -> rule1))] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Harry is young.[(triple7)] @1: Bob is big.[(((triple2) -> rule1))] Fiona is young.[(((triple6 triple5) -> rule4))] Harry is green.[(((triple7) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple6 triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple7) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1