Bob is big. Bob is not cold. Bob is furry. Bob is not young. Charlie is big. Charlie is furry. Charlie is rough. Charlie is round. Charlie is young. Erin is cold. Erin is round. Erin is not young. Fiona is furry. Fiona is green. Fiona is not round. Cold, rough things are round. If Erin is green and Erin is rough then Erin is round. If Erin is big and Erin is not cold then Erin is green. If something is young and not rough then it is big. All furry, rough things are young. If something is round then it is furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Cold, rough things are round.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If Erin is green and Erin is rough then Erin is round.
((("Erin" "is" "green" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "round" "+"))
If Erin is big and Erin is not cold then Erin is green.
((("Erin" "is" "big" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "green" "+"))
If something is young and not rough then it is big.
((("something" "is" "young" "+") ("something" "is" "rough" "~")) -> ("something" "is" "big" "+"))
All furry, rough things are young.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is round then it is furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Bob is not young.
True
1
proof
[(triple4)]
("Bob" "is" "young" "-")
triple4
Fiona is not green.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "green" "-")
triple14
Erin is furry.
True
2
proof
[(((triple11) -> rule6))]
("Erin" "is" "furry" "+")
((triple11) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple11) -> rule6))]
("Erin" "is" "furry" "-")
((triple11) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "green" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple3)] Bob is not cold.[(triple2)] Bob is not young.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6 OR ((triple8) -> rule6))] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple9 OR ((triple6 triple7) -> rule5) OR ((((triple8) -> rule6) triple7) -> rule5))] Erin is cold.[(triple10)] Erin is not young.[(triple12)] Erin is round.[(triple11)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is not round.[(triple15)] @1: Erin is furry.[(((triple11) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
((triple8) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
((triple6 triple7) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple8) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is not young.
("Erin" "is" "young" "-")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is not round.
("Fiona" "is" "round" "-")
triple15
Erin is furry.
("Erin" "is" "furry" "+")
((triple11) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1