Bob is blue. Bob is green. Charlie is big. Charlie is white. Erin is not young. Fiona is blue. Fiona is young. If something is cold and white then it is young. If something is smart and not big then it is not green. All big, cold things are not green. If Fiona is green then Fiona is blue. Cold things are blue. If something is big then it is blue. If something is cold and blue then it is smart. If something is young and big then it is smart.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is cold and white then it is young.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is smart and not big then it is not green.
((("something" "is" "smart" "+") ("something" "is" "big" "~")) -> ("something" "is" "green" "-"))
All big, cold things are not green.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "-"))
If Fiona is green then Fiona is blue.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "blue" "+"))
Cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is big then it is blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is cold and blue then it is smart.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is young and big then it is smart.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Charlie is not big.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "big" "-")
triple3
Charlie is blue.
True
2
proof
[(((triple3) -> rule6))]
("Charlie" "is" "blue" "+")
((triple3) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple3) -> rule6))]
("Charlie" "is" "blue" "-")
((triple3) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not smart.
Unknown
inv-rconc
[@2: Charlie is smart.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Bob is smart.
Unknown
rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "smart" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Charlie is big.[(triple3)] Charlie is white.[(triple4)] Erin is not young.[(triple5)] Fiona is blue.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is blue.[(((triple3) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is not young.
("Erin" "is" "young" "-")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1