Bob is big. Bob is rough. Charlie is not big. Charlie is green. Charlie is white. Fiona is furry. Fiona is nice. Harry is furry. Harry is rough. Harry is not round. Round, nice things are furry. Nice, rough things are furry. If something is nice then it is rough. All white things are not rough. All rough things are green. If something is big and rough then it is round. Big things are round. If Bob is furry then Bob is not white.
Bob is big.
("Bob" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not round.
("Harry" "is" "round" "-")
Round, nice things are furry.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Nice, rough things are furry.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
All white things are not rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "-"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is big and rough then it is round.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If Bob is furry then Bob is not white.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "white" "-"))
Fiona is furry.
True
1
proof
[(triple6 OR ((triple7 ((triple7) -> rule3)) -> rule2))]
("Fiona" "is" "furry" "+")
triple6
((triple7 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is not rough.
False
1
inv-proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Harry is green.
True
2
proof
[(((triple9) -> rule5))]
("Harry" "is" "green" "+")
((triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple9) -> rule5))]
("Harry" "is" "green" "-")
((triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Charlie is green.[(triple4)] Charlie is not big.[(triple3)] Charlie is white.[(triple5)] Fiona is furry.[(triple6 OR ((triple7 ((triple7) -> rule3)) -> rule2))] Fiona is nice.[(triple7)] Harry is furry.[(triple8)] Harry is not round.[(triple10)] Harry is rough.[(triple9)] @1: Bob is green.[(((triple2) -> rule5))] Bob is round.[(((triple1) -> rule7) OR ((triple1 triple2) -> rule6))] Charlie is not rough.[(((triple5) -> rule4))] Fiona is rough.[(((triple7) -> rule3))] Harry is green.[(((triple9) -> rule5))] @2: Fiona is green.[(((((triple7) -> rule3)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is not big.
("Charlie" "is" "big" "-")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple7 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is not round.
("Harry" "is" "round" "-")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
((triple2) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple1 triple2) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple5) -> (rule4 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2