Bob is big. Charlie is white. Erin is young. Fiona is young. If someone is round then they are big. Kind, round people are rough. If Erin is young and Erin is rough then Erin is round. If Bob is young and Bob is white then Bob is big. If someone is white then they are young. If someone is kind and young then they are white. If someone is young and cold then they are white. All cold people are young.
Bob is big.
("Bob" "is" "big" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Kind, round people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If Erin is young and Erin is rough then Erin is round.
((("Erin" "is" "young" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "round" "+"))
If Bob is young and Bob is white then Bob is big.
((("Bob" "is" "young" "+") ("Bob" "is" "white" "+")) -> ("Bob" "is" "big" "+"))
If someone is white then they are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is young and cold then they are white.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Fiona is not young.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "young" "-")
triple4
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple1)] Charlie is white.[(triple2)] Erin is young.[(triple3)] Fiona is young.[(triple4)] @1: Charlie is young.[(((triple2) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1